منابع مشابه
Software Assurance Using Structured Assurance Case Models
Software assurance is an important part of the software development process to reduce risks and ensure that the software is dependable and trustworthy. Software defects and weaknesses can often lead to software errors and failures and to exploitation by malicious users. Testing, certification and accreditation have been traditionally used in the software assurance process to attempt to improve ...
متن کاملThe Uniqueness of the Overall Assurance Interval for Epsilon in DEA Models by the Direction Method
The role of non-Archimedean in the DEA models has been clarified, so that the associatedlinear programs can be infeasible (for the multiplier side) and unbounded (for theenvelopment side) with an unsuitable choice of . This paper shows that the overallassurance interval for in DEA models is unique by the concept of extreme directions. Also,it presents an assurance value for using only s...
متن کاملHigh Assurance BPEL Process Models
An increasing number of software applications and business processes are relying upon the use of web services to achieve their requirements. This is due in part to the use of standardized composition languages like the Business Process Execution Language (BPEL). BPEL allows the process designer to compose a procedural workflow from an arbitrary number of available web services and supplemental ...
متن کاملQuality Assurance of Models for Autocoding
Automatic Code Generation is an emerging technology that holds great promise for future generations of embedded systems. However, ACG raises many fundamental questions about model and code quality. A series of experiments promise to provide an enhanced approach to Software Quality Assurance in order to allow autocoding to become a trusted industrial solution for on board space software.
متن کاملFinite safety models for high-assurance systems
Author: John C. Sloan Title: Finite Safety Models for High-Assurance Systems Institution: Florida Atlantic University Dissertation Advisor: Dr. Taghi M. Khoshgoftaar Degree: Doctor of Philosophy Year: 2010 Preventing bad things from happening to engineered systems, demands improvements to how we model their operation with regard to safety. Safety-critical and fiscally-critical systems both dema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The ANNALS of the American Academy of Political and Social Science
سال: 2017
ISSN: 0002-7162,1552-3349
DOI: 10.1177/0002716217692517